create table tti(i int check (i > 5));
insert into tti values(5);
